quantificateur

quantificateur

quantificateur [ kɑ̃tifikatɶr ] n. m.
• 1929 ling.; de quantifier
Log. Symbole qui lie une ou plusieurs variables à une quantité. Quantificateur universel (∀ = « pour tout »). Quantificateur existentiel (∃ = « il existe au moins un »).

quantificateur ou quantifieur nom masculin Déterminant exprimant une idée de quantité (par exemple tout, deux, chaque). Symbole spécifique d'un langage formel, dont l'emploi syntaxique est régi par des règles de formation et d'inférence et dont l'emploi sémantique est régi par des règles d'interprétation. (Les quantificateurs les plus utilisés sont le quantificateur existentiel et le quantificateur universel.) ● quantificateur ou quantifieur (synonymes) nom masculin Symbole spécifique d'un langage formel, dont l'emploi syntaxique est régi...
Synonymes :

quantificateur
n. m. LOG, MATH Opérateur qui lie une ou plusieurs variables à une quantité; symbole désignant un tel opérateur. Quantificateur universel (symbole comme A inversé = "quel que soit..." ou "pour tout..."). Quantificateur existentiel (symbole comme E inversé = "il existe au moins un").

⇒QUANTIFICATEUR, subst. masc.
A. — LOG., MATH. Opérateur reliant une ou plusieurs variables à une quantité; p. méton., symbole représentant un tel opérateur. Synon. quantifieur (vieilli). Quantificateur universel (symb. ∀ « pour tout, quel que soit »); quantificateur existentiel (symb. ∃ « il existe (au moins un) ») (v. existentiel B 2); quantificateur logique, numérique. À Aristote (...) revient le mérite d'avoir distingué avec une grande netteté le rôle des propositions « universelles » de celui des propositions « particulières », première ébauche des quantificateurs (BOURBAKI, Hist. math., 1960, p. 14).
B. — LING. Chacun des déterminants qui indiquent la quantité par laquelle le substantif est défini (d'apr. Ling. 1972). Synon. quantifieur.
REM. Quanteur, subst. masc., synon. plus rare de quantificateur). (Ds AUR.-WEIL 1981, VAX Log. 1982).
Prononc.:[]. Étymol. et Hist. 1957 (BLANCHÉ, Introd. à la log. contemporaine, Paris, A. Colin, p. 143). Dér. de quantification par substitution du suff. -ateur (v. -eur2) à -ation.

quantificateur [kɑ̃tifikatœʀ] n. m.
ÉTYM. V. 1960; de quantifier.
Log., math. Opérateur reliant une ou plusieurs variables à une quantité.Symbole indiquant si une relation, une propriété est vérifiée pour tous les éléments d'un ensemble (quantificateur universel représenté par ∀ = « pour tout… ») ou pour un élément au moins (quantificateur existentiel : ∃ = « il existe au moins un [élément] tel que… »).

Encyclopédie Universelle. 2012.

См. также в других словарях:

  • Quantificateur — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Quantificateur », sur le Wiktionnaire (dictionnaire universel) En grammaire, un quantificateur est une …   Wikipédia en Français

  • Quantificateur universel — Quantificateur (logique) Pour les articles homonymes, voir Quantificateur. Les expressions « pour tout » et « il existe » utilisées pour formuler des propositions mathématiques dans le calcul des prédicats sont appelées des… …   Wikipédia en Français

  • Quantificateur existentiel — ● Quantificateur existentiel symbole noté ∃ (s énonçant « il existe »), exprimant le fait que certains éléments d un ensemble (au moins un) vérifient une proposition, une propriété données …   Encyclopédie Universelle

  • Quantificateur universel — ● Quantificateur universel symbole noté ∀ (qui s énonce pour tout) et exprimant qu une certaine propriété appartient à tous les éléments d un ensemble …   Encyclopédie Universelle

  • Quantificateur (grammaire) — Pour les articles homonymes, voir Quantificateur. En grammaire, un quantificateur est une sous catégorie de déterminant indéfini, ajoutant une idée de quantité à l actualisation du nom noyau. Pour certains grammairiens le quantificateur est… …   Wikipédia en Français

  • Quantificateur (logique) — Pour les articles homonymes, voir Quantificateur. Les expressions « pour tout » et « il existe » utilisées pour formuler des propositions mathématiques dans le calcul des prédicats sont appelées des quantifications et le… …   Wikipédia en Français

  • Quantificateur existentiel — Notation (mathématiques) Pour les articles homonymes, voir Notation. On utilise en mathématiques un ensemble de notations pour condenser et formaliser les énoncés et les démonstrations. Quand deux traductions d une notation sont données, l une… …   Wikipédia en Français

  • Étendue d'un quantificateur — ● Étendue d un quantificateur synonyme de champ d un quantificateur …   Encyclopédie Universelle

  • quantifieur — ● quantificateur ou quantifieur nom masculin Déterminant exprimant une idée de quantité (par exemple tout, deux, chaque). Symbole spécifique d un langage formel, dont l emploi syntaxique est régi par des règles de formation et d inférence et dont …   Encyclopédie Universelle

  • Quantificateurs existentiels — Quantificateur (logique) Pour les articles homonymes, voir Quantificateur. Les expressions « pour tout » et « il existe » utilisées pour formuler des propositions mathématiques dans le calcul des prédicats sont appelées des… …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»